<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/x
html1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="content-type"
      content="text/html ; charset=US-ASCII" />
<title>Release Notes for Kananaskis-2 version of HOL 4</title>
</head>

<body>
<h1>Notes on HOL 4, Kananaskis-2 release</h1>

<p> This release of HOL fixes the <code>Overflow</code> bug that
afflicted the Kananaskis-1 and earlier releases.  It is otherwise
identical to <a
href="http://hol.sourceforge.net/kananaskis-1.release.html"
title="Release notes for Kananaskis-1">Kananaskis-1</a>. </p>

<hr />

<p> <em><a href="http://hol.sourceforge.net">HOL 4, Kananaskis-2</a></em> </p>

</body> </html>
